Efficient virtual memory for big memory servers

Memory Management for Networked Servers

In the present computing environment, clients are connected by a local area network or a wide area network to servers, which are built from either an individual machine or a cluster of machines. Current technology trends indicate an widening gap between processor and disk speed, implying that memory needs to be managed more efficiently in order to support high performance networked servers. Thi...

Active Memory Clusters: Efficient Multiprocessing on Next-Generation Servers

We show how key insights from our research into active memory systems, coupled with emerging trends in commodity network technology, are leading toward the realization of hardware distributed shared memory (DSM) on clusters of industry-standard workstations. We call the result of this convergence active memory clusters. After discussing the current state of the art in hardware DSM, clusters, an...

An Efficient LUT Design on FPGA for Memory-Based Multiplication

An efficient Lookup Table (LUT) design for memory-based multiplier is proposed.  This multiplier can be preferred in DSP computation where one of the inputs, which is filter coefficient to the multiplier, is fixed. In this design, all possible product terms of input multiplicand with the fixed coefficient are stored directly in memory. In contrast to an earlier proposition Odd Multiple Storage ...

MemNet: Memory-Mapped Networking for Servers

A Logic for Virtual Memory

We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing classical separation logic notation to be used at an abstract level. We demonstrate that in the common cases, such as user applications, our logic reduces to classical separation logic. At the same time we can express ...